- Генцен
- = Гентцен; p.n.Gentzen
Русско-английский словарь по математике. 2015.
Генцен
Look at other dictionaries:
ГЕНЦЕН — ГЕНЦЕН (Gentzen) Герхард (24 ноября 1909, Грейфсвальд, Померания 4 августа 1945, Прага) немецкий математик и логик. Детство провел и учился в начальной школе на о. Рюнген в Балтийском море. В 1920 переехал с матерью (отец погиб в 1 й мировой… … Философская энциклопедия
Генцен — (нем. Gentzen) немецкая фамилия. Известные носители: Генцен, Герхард (1909 1945) немецкий математик и логик. Генцен, Йоханнес (1906 1940) самый первый германский лётчик ас Второй мировой войны, лучший пилот Люфтваффе во время Польской… … Википедия
Генцен, Йоханнес — Йоханнес Генцен нем. Johannes Gentzen Прозвище Ханнес Дата рождения 1906 год(1906) Дата смерти 26 мая … Википедия
Генцен, Герхард — Герхард Генцен нем. Gerhard Karl Erich Gentzen Дата рождения: 24 ноября 1909(1909 11 24) … Википедия
Генцен — Иоанн Генрих Вильгельм (Henzen) немецкий ученый, род. в 1816 г., сопровождал Велькера в его поездке по Греции и Сицилии и после этого получил место при археологическом институте в Риме. Г. прибавил к двум томам изданного Орелли сборника латинских … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Генцен Вильгельм — (Henzen) немецкий драматург. Род. в 1850 г. Составил себе известность историческими драмами для народной сцены: Martin Luther (1883), Ulrich von Hutten , Die heilige Elisabeth , Deutsche Bürger . Написал еще: Die Kypseliden , Die Lügen des… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Генцен Иоанн Генрих Вильгельм — (Henzen) немецкий ученый; род. в 1816 г.; сопровождал Велькера в его поездке по Греции и Сицилии и после этого получил место при археологическом институте в Риме. Г. прибавил к двум томам изданного Орелли сборника латинских надписей третий том… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… … Большая советская энциклопедия
ФОРМАЛИЗМ — направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих… … Философская энциклопедия
Метаматематика — Метаматематика раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» … Википедия
ЭЛИМИНАЦИОННАЯ ТЕОРЕМА — ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом … Философская энциклопедия
